The epidemiological situation resulting from the SARS-CoV-2 pandemic caused the Polish universities to fully switch to distance education in March 2020. Medical e-learning has not yet been broadly implemented into the education process. Therefore, examples of successful e-learning implementations or the organization of the process of medical e-learning offer a valuable source of knowledge today, which is needed immediately. The article presents e-learning practices at the Polish medical universities during the SARS-CoV-2 epidemic during the period from March to September 2020, (...) covering seven universities in Poland that offer medical and health studies. The organization and implementation of e-learning classes is presented, including knowledge evaluation practices, providing example decisions issued by university rectors, on which the teaching process was based. A detailed presentation of the schools’ organizational units or workgroups that played an important role in the process of coordination of measures supporting e-education is also included. The article also presents a description of the software applications, utilities, and services used at the schools in the course of the process of online education. Below are some examples of specific such implementations in selected university courses. (shrink)

In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been inspired by Henkin's Positive Implicative Logic. Their properties and characterizations are investigated. Some important results and examples are given. Moreover, positive implicative pre-Hilbert algebras are introduced and studied, their connections with some algebras of logic are presented. The hierarchies existing between the classes of algebras considered here are shown.

On 11 March 2020, the World Health Organization declared a pandemic of the COVID-19 coronavirus disease that was first recognized in China in late 2019. Among the primary effects caused by the pandemic, there was the dissemination of health preventive measures such as physical distancing, travel restrictions, self-isolation, quarantines, and facility closures. This includes the global disruption of socio-economic systems including the postponement or cancellation of various public events (e.g., sporting, cultural, or religious), supply shortages and fears of the same, (...) schools and universities closure, evacuation of foreign citizens, a rise of unemployment, changes in the international aid schemes, misinformation, and incidents of discrimination toward people affected by or suspected of having the COVID-19 disease. The pandemic has brought to the fore unpreparedness in critical areas that require attention, amid prospects and challenges. Moreover, considerable reorganization efforts are required with implications for assets, resources, norms, and value systems. COVID-19 is challenging the concept of globalization and stimulating responses at the levels of local and regional socio-economic systems that lead to the mobilization of assets that have been unrecognized earlier on, such as various forms of economic capital, social capital, cultural capital, human capital, and creative capital. For example, through digital channels, local groups are forming to create schemes of support for physical and mental wellbeing. These emerging exchanges lead to various social and technological innovations by building on skills and assets that are less important in the free-market economy, such as empathy, skills for crafts, making and fixing; locally grown microgreens; and micromanufacturing. Isolation and local living are also making it much harder to ignore the civic responsibilities towards communities, meant as individuals, vulnerable groups, and local businesses. Whilst the pandemic is limiting physical participation, this challenging time is uncovering alternative ways of mutual support, which may create long-term benefits for socio-economic systems, including environmental and biodiversity protection, reduction of the air pollution, and climate action. The pandemic’s threat to public health will hopefully be overcome with implications for disruption for an extended period that we are unable to forecast at this stage. It is key to focus on studies recognizing the activities and interventions leading to the recovery of socio-economic systems after the pandemic. Reflecting and planning on how societies and economies will go back to “business as usual” requires new forms of communication and cooperation, imaginative design thinking, new styles of management, as well as new tools and forms of participation in various public policies. Many questions related to the care of the vulnerable, economic restart, and the risk of future pandemics, to mention but a few, are already occupying the academic, scientific, experts, and activist communities, who have started to imagine the “new normal.”. (shrink)

The paper consists of two parts, outlined in the title.I. In the historical science time appears as an element of the historian’s workshop. The historian collects source information, evaluates them and assigns respective dates. Only on the ground of thus “processed” sources may he reproduce the past: events and longer development processes, setting them in time. This dated time is understood colloquially as something objective, which runs one way and may be measured.II. A historian who studies the past reality depends (...) on the extent to which those sources are preserved. As a result of their interpretation, with the use of increasingly excellent research methods, he reproduces that reality. He must carry out an ongoing selection of historical facts found. This exposes him to temptations of such selection of those facts so as to adjust the historical knowledge to serve well the national interests, his own political opinions, etc. In this way the historian exerts influence on social awareness, which may consists of various myths and stereotypes, which sometimes lead to negative social behaviors: aggression, chauvinism, etc. Therefore, for researcher honesty’s sake and in the sense of moral responsibility, he must be careful to be as impartial as possible in his work. (shrink)

Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of the now (...) classical results in the foundations of mathematics. Hence the book may be useful especially for those readers who want to have all the proofs carried out in full and all the concepts explained in detail. In this sense the book is self-contained. The reader's ability to guess is not assumed, and the author's ambition was to reduce the use of such words as evident and obvious in proofs to a minimum. This is why the book, it is believed, may be helpful in teaching or learning the foundation of mathematics in those situations in which the student cannot refer to a parallel lecture on the subject. This is also the reason that I do not insert in the book the last results and the most modem and fashionable approaches to the subject, which does not enrich the essential knowledge in founda tions but can discourage the beginner by their abstract form. A. G. (shrink)

In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...) valid (elementary) arguments.Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. (shrink)

Table of ContentsAndrzej KLAWITER, Krzystof #ASTOWSKI: Introduction: Originality, Courage and Responsibility List of Books by Leszek NowakSelected Bibliography of Leszek Nowak's WritingsScience and Idealization Theo A.F. KUIPERS: On Two ...

A new type of formalization of classical first-order logic with equality is introduced on the basis of the sequent calculus. It serves to justify the claim that equality is a logical constant characterised by well-behaved rules satisfying properties usually regarded as essential. The main feature of this approach is the application of sequents built not only from formulae but also from terms. Two variants of sequent calculus are examined, a structural and a logical one. The former is defined in accordance (...) with Dos̆en’s criteria for logical constants. The latter is a standard Gentzen’s sequent calculus and satisfies Hacking’s criteria for logicality, including cut elimination. It is also shown that provided rules are harmonious in the sense advocated by Gratzl and Orlandelli. (shrink)

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...) also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H. (shrink)

This article focuses on the trajectory of life of the three generations of the Jankowski family in Siberia, Primorski Krai and Korea in the years 1863– 1945 in terms of their economic, cultural and scientific achievements. The founder of the Far Eastern branch of the family was Michał Jankowski. Exiled to Siberia for participation in the January Uprising of 1863, as a man of indefatigable energy and collaborator of Benedykt Dybowski, he undertook many initiatives, including hunting, wild ginseng collecting and (...) a gold mining administration. In 1880 he settled on the Sidiemi Peninsula near Vladivostok, where he established a farm specializing in horse breeding and ginseng gardening. In addition to farming, he conducted natural history and archaeological research and sent the acquired specimens and artifacts to Russian and European museums. The tradition of his father was continued in the second generation by Jerzy Mikhailovich Jankowski. Endowed with similar character and talent, he studied agriculture and husbandry in Texas and at the agricultural faculty of St. Louis University in Missouri. He expanded the farm to include commercial fishing and rice cultivation. The occupation of the Far East by the Red Army in 1922 forced the family to emigrate to Korea and Manchuria. The new family seat called Novina was built on the Ompo River near the town of Ch’ŏngjin, about 200 kilometers south along the Korean coastline from the mouth of the Tuman River. It was not only a modern farm with specialized animal husbandry and fruit farming, but was also a recreational, cultural, and spiritual enclave, with a school for children, a summer theater, an Orthodox church, and a resort for holidaymakers. The third and the most famous representative of the family was Walery Jurewicz Jankowski. In 1945, he joined the Soviet Army, where, due to his knowledge of Korean and Japanese, he served as an interpreter for the military intelligence at the headquarters of the 25th Army in P’yŏngyang. At the beginning of 1946, both Walery and his fathers were arrested and sent to the labor camps. The family was scattered around the world, from Australia to the North and Latin Americas and the farm was nationalized. The Jankowsky family achieved spectacular success in the Russian Far East and in Korea because they were able to apply the traditional Polish gentry ethos based on the extended structure of family and servants, which they were able to combine with a chivalrous fortitude and openness to hard life in the frontiers populated by various ethnic groups. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...) Gentzen’s type, we have a subtype of standard SC due to Gentzen. Hence by nonstandard ones we mean all these ordinary SC where other kinds of rules are applied than those admitted in standard Gentzen’s sequent calculi. We describe briefly some of the most interesting or important nonstandard SC belonging to the three abovementioned types. (shrink)

During the global financial crisis of 2007–2009 and the currentCovid-19 debacle, central banks acted quickly, boldly, and effectively. The paper argues that they did so thanks to the lessons learned from the past financial crises, which provided them with opportunities to reconsider their previous beliefs. A case in point is the banking crisis in the United States during the Great Depression of the 1930s that taught central banks to act rapidly and decisively in order to prevent an initial liquidity crisis (...) from escalating into a solvency crisis leading to bankruptcies of banks with potentially disastrous consequences for the entire economy. The paper revisits the consequences of the currency crises of the 1990s, which transformed exchange rate regimes across the world: the EMS one of 1992–1993 that accelerated the launch of the euro, and the Asian one of 1997–1998 resulted in the proliferation of floating exchange rates in emerging economies. (shrink)

The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. Cut elimination is (...) proved in a constructive way for sequent calculi adequate for all logics under consideration. (shrink)

The book deals with post-analytical philosophy of law, which departs from the traditional view which considers philosophical cognition as a sense-making and optimizing activity. It seeks to deconstruct the analytical, both philosophical and legal, narrative to expose it as a collection of schemes which oversimplify the legal and political reality.

We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.

Values are relational properties that can be defined only in relation to a goal-directed system. Biological values originated with living systems and subjective values originated with the origin of vertebrate (and possibly others’) mind through a conversion (subjectivization) of biological values. While this conversion is understandable in adaptive (functional) terms, the evolutionary mechanism whereby positive and negative meanings in the mind were assigned to molecular and/or neuronal configurations in the brain, so far defies our comprehension. Whatever their origin, the primary (...) subjective values are experienced by most if not all vertebrates, and the hominid conceptual values are all ultimately derived from experiential values. (shrink)

John Gray argues that the modern conception of man is common for all variants of the liberal tradition. The version of liberalism which is defended in this paper cannot be called ‘classical’ because it refuses the conception in question (it refuses such elements of it as, for example, claims of universality, idea of neutral Reason, idea of human nature). That is why the best label which can be given to it is ‘postmodern’ or ‘communitarian’ liberalism. Moreover, postmodern liberalism does not (...) express any reluctance toward community as such. It only requires a community which respects the rights of individuals to autonomous, moral and comprehensive choices. In this sense one can say that postmodern liberalism renounces anti-social biases while remaining faithful to individualism, which - starting with the social and the common - arrives at the truly individual. In this way it can revitalize the sense and meaning of humanism understood as the idea of life of human beings who can create their own lives independently and freely in the political and social milieu, promoting justice and solidarity. (shrink)

Most Enlightenment thinkers believed that the World’s order (as ultimately based on divine laws) is good and thus every gain of knowledge will have good consequences. Scientific process was assumed to entail moral progress. In fact some moral progress did occur in the Western civilization and science contributed to it, but it is widely incommensurate with the progress of science. The Enlightenment’s concept of a concerted scientific and moral progress proved largely wrong for several reasons. (1) Public morality and science (...) evolve largely independently and may either enhance or inhibit each other. (2) There are no objective values to be read in the World’s order and simply followed. Instead, our real, subjective values and the moral systems they fuel have all been generated and shaped by evolution rather than designed to be universally good, and thus ought to be managed rather than simply followed. (3) Our evolved morality is flawed, deficient, prone to doctrinal manipulation and refractory to progress. (4) The majority of people show metaethical incompetence in failing to take a reasoned critical stand toward the principles and assumptions of received morals. This makes moral progress largely dependent on those who reach metaethical competence by transcending the conventional stages of moral development. (shrink)

Nicolae Iorga jest postacią o dużym znaczeniu w historii i kulturze Rumunii. Bardzo często wypowiadał się o sprawach polskich w szerokim tego słowa znaczeniu, zarówno w kwestiach akademickich, jak i politycznych. Zaangażowanie Iorgi w Polskę jest widoczne niemal nieprzerwanie w trakcie jego kariery naukowej i politycznej. Od czasów szkolnych po jego tragiczną śmierć Polska i jej sprawy były obecne w jego działalności także za sprawą jego nauczycieli, profesorów czy późniejszych partnerów politycznych. Dzięki wykształceniu historycznemu Iorga postrzegał Polskę jako ważnego partnera (...) Rumunii na arenie międzynarodowej, jako gwarancję bezpieczeństwa politycznego, ale także ważnego partnera w kontekście rozwoju kulturalnego. Jako inicjator kursów języka i kultury rumuńskiej na Uniwersytecie Jagiellońskim, Nicolae Iorga otrzymał tytuł doktora honoris causa Uniwersytetu Wileńskiego w 1931 r. za ważną rolę w umacnianiu stosunków między Polską a Rumunią. (shrink)

In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.

Hypersequent calculus, developed by A. Avron, is one of the most interesting proof systems suitable for nonclassical logics. Although HC has rather simple form, it increases significantly the expressive power of standard sequent calculi. In particular, HC proved to be very useful in the field of proof theory of various nonclassical logics. It may seem surprising that it was not applied to temporal logics so far. In what follows, we discuss different approaches to formalization of logics of linear frames and (...) provide a cut-free HC formalization ofKt4.3, the minimal temporal logic of linear frames, and some of its extensions. The novelty of our approach is that hypersequents are defined not as finite sets but as finite lists of ordinary sequents. Such a solution allows both linearity of time flow, and symmetry of past and future, to be incorporated by means of six temporal rules. Extensions of the basic calculus with simple structural rules cover logics of serial and dense frames. Completeness is proved by Schütte/Hintikka-style argument using models built from saturated hypersequents. (shrink)

The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usual ones. First of them, GSC I is well suited for nonsymmetric modal logics The second one, GSC II (...) is devised specially for symmetric, i.e. Blogics. GSC I and GSC II are not different formalizations, from the theoretical point of view GSC I may be seen as a simplification of the more general approach present in GSC II. They are considered separately, mainly because Blogics demand different, and more complicated, strategy in completeness proof, whereas non symmetric logics are easily and uniformly characterised by means of Fitting's Consistency Properties. The weakest modal logic captured by this formalization is minimal regular logic C, but many stronger logics are obtainable by addition of suitable structural rules, which conforms to Do en's methodology. Both variants of GSC satisfy also other, besides cut-freedom, desirable properties. (shrink)

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...) varying strength. For all presented calculi a constructive cut elimination is provided. (shrink)

Metafizyczny kreacjonizm a paradoksy teizmu ewolucyjnego: przyczynek do dyskusji w ramach współczesnego tomizmu Autor artykułu dowodzi, że metafizyczny kreacjonizm, z którym spotykamy się w filozofii św. Tomasza z Akwinu, w odróżnieniu od kreacjonizmu amerykańskiego oraz teologiczno-‑biblijnego, jest teorią, która wyrasta z czysto filozoficznego wyjaśnianie początków świata i człowieka. Nie jest zatem ideą biblijną przeniesioną na teren filozofii. Podobnie jak teizm metafizyki Arystotelesa, a także teizm metafizyki św. Tomasza z Akwinu nie jest teizmem religijnym, lecz teizmem czysto filozoficznym, gdyż wyrasta z (...) metafizycznego wyjaśniania rzeczywistości. Kreacjonizm metafizyczny jest ostatecznym wyjaśnieniem źródła istnienia bytów, które dane są nam w doświadczeniu, jako niekonieczne w istnieniu i zmienne. Natomiast kreacjonizm amerykański, jest interpretacja biologiczno-kosmologiczną biblijnej prawdy o stworzeniu świata w określonym przedziale czasowym i w punkcie wyjścia odwołuje się do danych Objawienia, które chce naukowo potwierdzić Artykuł został podzielony na dwie części. W części pierwszej zostały przedstawione węzłowe elementy metafizycznej teorii stworzenia ex nihilo i jej rozumienie. W drugiej zaś części artykułu zostały przywołane elementy teizmu ewolucyjnego, które z punktu metafizycznego kreacjonizmu są źródłem różnych paradoksów, a niekiedy i absurdów oraz domagają się ponownego przemyślenia. (shrink)

We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties of Nelson algebras. Any such varietyV is characterized by the property: (PQWC) ifA,B V, thenA×B is a homomorphic image of some well-connected algebra ofV.We prove:• each varietyV of Nelson algebras with PQWC lies in the fibre –1(W) for some varietyW of Heyting algebras having PQWC, • for any varietyW of Heyting algebras with PQWC the least and the (...) greatest varieties in –1(W) have PQWC, • there exist varietiesW of Heyting algebras having PQWC such that –1(W) contains infinitely many varieties (of Nelson algebras) with PQWC. (shrink)

Artykuł przedstawia interpretację Emila Rousseau jako koncepcję jednego z czterech miejsc — obok republiki, małej wspólnoty ulokowanej poza społeczeństwem i pełnej samotności — w których człowiek może wyzwolić się z alienacji. Emil żyje w społeczeństwie, ale zachowuje duchowy dystans wobec jego członków; w istocie żyje na pograniczu społeczności, bardziej obok ludzi niż z nimi. Tak jak „obcego”, o którym pisał Simmel, łączy go z jej członkami to, co wspólne wszystkim ludziom, dzieli natomiast to, co ich właśnie łączy we wspólnotę. Emil (...) jest więc obcy ludziom, ale nie jest wyobcowany, gdyż to właśnie on, a nie oni, żyje zgodnie z naturą. Jakkolwiek Rousseau zapewnia, że Emil jest potencjalnie zdolny do zajęcia wszystkich pozostałych miejsc, autor tekstu dowodzi, że kierując się zasadą dobrowolności stowarzyszeń Emil skazany jest na życie samotne, do którego jest też najlepiej przygotowany. (shrink)

The paper analyses three versions of skepticism: the attitude of a general withholding of belief; the attitude of general doubt and the view that all beliefs are unjustified. It is shown on the basis of epistemic logic that only the first of these versions can be deemed not to be self-contradictory.

The identity connective is usually interpreted in non-Fregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity of sentence correlates, characteristic of the WT system and some stronger systems. However, this connective can also be interpreted in a different way – as an operator representing the identity of propositions. The “propositional” interpretation is in turn associated with the modal-contents criterion of the identity of sentence correlates. This begs the question (...) of whether there is a system of non-Fregean logic, providing an adequate formalization of this criterion. The aim of the paper is to systematize the metalogical and philosophical context of the issue and to point to a system that provides its solution. (shrink)

Relations between theory and empirical knowledge belong to basic problems in philosophy of science and have been undergone detailed philosophical reflection, including epistemological aspects. During last several dozen years, due to development of computer technology, numerical simulations became a common tool in natural sciences. Their epistemological aspects, however, have not worked out yet. A specific role of computer simulations manifests in subcellular biology, where possibilities of performing experiments and observations are limited. Computer simulation is complementary to observation and experiment and (...) comes into complex relations with them. It allows us to come to a conclusion if experiment or observations are impossible to perform. In particular, simulations allow researchers to estimate the parameters that cannot be measured. (shrink)